41. Advanced computer design
پدیدآورنده : Iliffe, J. K.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، System design,، Electronic digital computers -- Programming,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
S88
I47
42. Advanced course in software engineering
پدیدآورنده : / Editied by F. L. Bauer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - programming,Programming languages (Electronic computers)
رده :
001
.
6
425
Ad-A
43. Advanced programming language design
پدیدآورنده : Finkel, Raphael A.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
F56
1996
44. Advanced programming language design
پدیدآورنده : Finkel, Raphael A.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Programming languages )Electronic computers(
رده :
QA
76
.
7
.
F56
1996
45. Advanced programming language design
پدیدآورنده : Finkel, Raphael A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
F56
1996
46. Advanced programming language design
پدیدآورنده : / Raphael A. Finkel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Programming languages (Electronic computers)
رده :
QA76
.
7
.
F56
1996
47. Advanced programming; programming and operating systems
پدیدآورنده : Katzan, Harry.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
K37
48. Advanced topics in types and programming languages
پدیدآورنده : / Benjamin C. Pierce, editor
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Programming languages (Electronic computers)
رده :
QA76
.
7
.
A36
2005
49. Advanced topics in types and programming languages
پدیدآورنده : / Benjamin C. Pierce, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers)
رده :
QA76
.
7
.
A36
2005
50. Advanced topics in types and programming languages
پدیدآورنده : Benjamin C. Pierce, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
A36
51. Advanced topics in types and programming languages
پدیدآورنده : Benjamin C. Pierce, editor
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
A36
2005
52. Advanced topics in types and programming languages
پدیدآورنده : / edited by Benjamin C. Pierce,
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Programming languages (Electronic computers)
رده :
QA76
.
7
.
A36
2005
53. Advances in Database Technology - EDBT '94 :
پدیدآورنده : edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science),Programming languages (Electronic computers)
رده :
QA76
.
9
.
D3
E358
1994
54. Advances in computer-aided manufacture : proceedings of the 3rd International IFIP/IFAC Conference on Programming Languages for Machine Tools, PROLAMAT 76, Stirling, Scotland, 15-18 June, 1976
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine-tools-- Numerical control-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
TJ
1189
.
I56
1976
55. Advances in computer science--ASIAN 2004 : higher-level decision making : 9 th Asian Computing Science Conference, dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings
پدیدآورنده : Michael J. Maher )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
3321
56. Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proceedings
پدیدآورنده : Vijay A. Saraswat, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
2896
57. Algebraic Informatics
پدیدآورنده : \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی نرم افزار ,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- دادهپردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
58. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G., 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers(,، Algebra
رده :
QA
76
.
7
.
M34
1986
59. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
60. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986